Iterated belief revision, revised

Iterated Belief Revision, Revised

A central aspect of commonsense reasoning is to sensibly revise one’s beliefs about the world in the presence of new information. The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intelligent agents adapt their beliefs incrementally to new information. These postulates alo...

Belief Revision, Revised

A Conditional Logic for Iterated Belief Revision

In this paper we propose a conditional logic IBC to represent iterated belief revision. We define an iterated belief revision system by strengthening the postulates proposed by Darwiche and Pearl [3]. First, following the line of Darwiche and Pearl, we modify AGM postulates to make belief revision a function of epistemic states rather than of belief sets. Then we propose a set of postulates for...

Belief Revision Conditionals: Basic Iterated Systems

Iterated Belief Revision: A Computational Approach

The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classic AGM theory studies mathematically idealized models of belief revision in two aspects: the properties (i.e., the AGM postulates) a rational revision operator should satisfy; and how to construct concrete revision operators. In scenarios where new informatio...